Foundations of Science

Results: 707



#Item
221IG Farben / Leverkusen / Mauthausen-Gusen concentration camp / Nutrition / Carl Duisberg / Doctor of Philosophy / Technology / Economy of Germany / Germany / Bayer

Bayer: Science For A Better Life Veterinary student in action. BAYER FOUNDATIONS Fellowship Program

Add to Reading List

Source URL: www.bayer-foundations.com

Language: English
222Philosophy of thermal and statistical physics / Statistical theory / Randomness / Physics / Probability and statistics / Entropy / Thermodynamic entropy / Information theory / Thermodynamics

Honors Class (Foundations of) Informatics Tom Verhoeff Department of Mathematics & Computer Science Software Engineering & Technology www.win.tue.nl/~wstomv/edu/hci

Add to Reading List

Source URL: www.win.tue.nl

Language: English - Date: 2011-01-11 08:09:27
223Abstract algebra / Universal algebra / Formal languages / Boolean algebra / Measure theory / Sigma-algebra / Structure / Parity of a permutation / Dual / Mathematics / Model theory / Mathematical logic

Observability concepts in abstract data type specification, 30 years later? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2008-04-25 03:41:02
224Mathematical logic / Measure theory / Structure / Universal algebra / Sigma-algebra / Elementary class / Dual / Parity of a permutation / Mathematics / Model theory / Abstract algebra

The foundational legacy of ASL Donald Sannella1 and Andrzej Tarlecki2 1 Laboratory for Foundations of Computer Science, University of Edinburgh 2

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2014-11-17 11:50:58
225Formal methods / Software development / Procedural programming languages / Programming paradigms / Extended ML / Concurrent computing / Don Sannella / Specification language / Algebraic specification / Computing / Software engineering / Computer programming

Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2000-06-29 07:17:41
226Knowledge representation / Knowledge / Technical communication / Ontology / Semantic Web / Geographic information system / Conceptual system / Category of being / National Geographic Society / Science / Information science / Information

3rd AGILE Conference on Geographic Information Science – Helsinki/Espoo, Finland, May 25th – 27th, 2000 Ontology of Common Sense Geographic Phenomena: Foundations for Interoperable Multilingual Geospatial Databases

Add to Reading List

Source URL: itcnt05.itc.nl

Language: English - Date: 2005-02-14 17:00:00
227Model theory / Procedural programming languages / Institution / Theoretical computer science / Sigma-algebra / Permutation / Specification / Standard ML / ALGOL 68 / Computing / Mathematics / Software engineering

Horizontal composability revisited? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh 2

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2006-03-25 10:02:21
228Functions and mappings / Differential calculus / Theoretical computer science / Calculus / Polynomial / Mathematics

Introduction Assignment FOUNDATIONS OF MATHEMATICS AND PRE-CALCULUS 10 Introduction Assignment Welcome to FMP 10! This assignment will help you review some topics

Add to Reading List

Source URL: www.openschool.bc.ca

Language: English - Date: 2013-11-27 17:35:28
229Complexity classes / Molecular biology / DNA / Classes of computers / Leonard Adleman / DNA computing / Natural computing / Turing machine / Hamiltonian path problem / Theoretical computer science / Applied mathematics / Mathematics

Eindhoven Honours Class Foundations of Informatics Algorithmic Adventures

Add to Reading List

Source URL: www.win.tue.nl

Language: English - Date: 2010-12-13 10:02:09
230Economy of Germany / Biology / Germany / Biodiversity / Environmental science / Bayer

DOC Document

Add to Reading List

Source URL: www.bayer-foundations.com

Language: English
UPDATE